// 序数理论中 设A是一个偏序集，B为A的一个子集，若B中任意两个元素无法相互比较（comparable），则称B是一条反链（Antichain）。
// 为了方便，通常还规定偏序集中的所有单元素子集既是链也是反链。
import { Equal } from "effect";
